PMAN4
SEL@KIT
Author: Yoshiki Kinoshita / 木下 佳樹
  • Research duration: 2009 - 2010
  • Total publications: 2
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
towardshighlevelquerylanguageinterpretationusersviewrelationaldatabasesclusterembeddedformalframeworkloopmodel-basednetworksimulationsystemstesting
Publications
2010
Workshop

[1] Eun-Hye Choi, Hiroyuki Ozaki, Hayao Nakahara, Yoshiki Kinoshita, Masahiro Aoki, Keiichi Yoshisaka, Hiroshi Mine, and Toru Shimizu, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010.

2009
Domestic Conference

[1] Eun-Hye Choi and Yoshiki Kinoshita, "Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems", Workshop on Simulation based Development of Certified Embedded Systems (SBDCES), October 2009.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.